Sign in
Facet browsing currently unavailable
Page 1 of 194 results
Sort by: relevance publication year
|
Multiagent systems JOURNAL ARTICLE published March 2010 in ACM SIGACT News |
|
Book announcements JOURNAL ARTICLE published November 2008 in ACM SIGecom Exchanges |
|
Nonmonotonic Reasoning: Logical Foundations of Commonsense By Gerhard Brewka (Cambridge University Press, 1991) JOURNAL ARTICLE published April 1992 in ACM SIGART Bulletin |
|
Review5 of algorithmic game theory JOURNAL ARTICLE published 16 December 2010 in ACM SIGACT News |
|
Pragmatic algorithmic game theory PROCEEDINGS ARTICLE published June 2014 in Proceedings of the fifteenth ACM conference on Economics and computation |
|
Book review: Updating Logical Databases by Marianne Winslett (Cambridge University Press, 1990) JOURNAL ARTICLE published October 1992 in ACM SIGART Bulletin |
|
Joint review of computational complexity JOURNAL ARTICLE published 16 December 2010 in ACM SIGACT News |
|
Advanced data structures by Peter Brass Cambridge University Press 2008 JOURNAL ARTICLE published March 2010 in ACM SIGACT News |
|
Comparative book review: Cryptography: An Introduction by V. V. Yaschenko (American Mathematical Society, 2002); Cryptanalysis of Number Theoretic Ciphers by S.S. Wagstaff, Jr. (Chapman & Hall/CRC Press, 2003); RSA and Public-Key Cryptography by R. A. Mollin (Chapman & Hall/CRC Press, 2003); Foundations of Cryptography, vol. 1: Basic Tools by O. Goldreich, (Cambridge University Press, 2001) JOURNAL ARTICLE published June 2005 in ACM SIGACT News |
|
Reactive Systems: Modelling, Specification and Verification; is written by L. Aceto, et al; and published by Cambridge University Press; distributed by Cambridge University Press; © 2007, (hardback), ISBN 978-0-521-87546-2, pp. 300 JOURNAL ARTICLE published 20 July 2010 in ACM SIGSOFT Software Engineering Notes |
|
Review of "Derivation and Computation: Taking the Curry-Howard Correspondence Seriously by Harold Simmons," Cambridge University Press, 2000 JOURNAL ARTICLE published June 2008 in ACM SIGACT News |
|
Review of "Term Rewriting Systems by Terese", Cambridge University Press 2003, 0-521-39115-6 JOURNAL ARTICLE published December 2005 in ACM SIGACT News |
|
Book review: Combinatorics, Set Systems, Hypergraphs, Families of Vectors and Combinatorial Probability by B. Bollobas (Cambridge University Press) JOURNAL ARTICLE published July 1987 in ACM SIGART Bulletin |
|
Review of how to think about algorithms by Je Edmonds (Cambridge University Press, 2008) JOURNAL ARTICLE published 20 June 2009 in ACM SIGACT News |
|
Quantum computing for computer scientists Noson S. Yanofsky and Mirco A. Mannucci, Cambridge University Press, 2008 JOURNAL ARTICLE published 25 January 2010 in ACM SIGACT News |
|
Book Review: Algorithms on strings, trees, and sequences: computer science and computational biology by Dan Gusfield (: Cambridge University Press, Cambridge, England, 1997) JOURNAL ARTICLE published September 1998 in ACM SIGACT News |
|
A second course in formal languages and automata theory by Jeffrey Shallit, publisher: Cambridge University Press, 2008 JOURNAL ARTICLE published 9 June 2010 in ACM SIGACT News |
|
Bidding clubs PROCEEDINGS ARTICLE published 17 October 2000 in Proceedings of the 2nd ACM conference on Electronic commerce |
|
Review of "Secure Communicating Systems: Design, analysis, and implementation by Michael R A Huth", Cambridge University Press, 2001 JOURNAL ARTICLE published March 2006 in ACM SIGACT News |
|
Review of Modal logic JOURNAL ARTICLE published June 2003 in ACM SIGACT News |